Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
151	The Modal µ-Calculus Caught Off Guard Oliver Friedmann1 and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:12 Ω-automaton Method of analytic tableaux Symbol Partition Well-formed formula Mathematics Logic Automata theory
152	Replicator Dynamics for Multi-agent Learning An Orthogonal Approach Michael Kaisers Maastricht University, P.O. Box 616, 6200 MD Maastricht August 28, 2009 Abstract Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:02:00 Evolutionary dynamics Science Replicator equation Reinforcement learning Dynamics Learning automata Evolutionarily stable strategy Dynamical system Q-learning Game theory Evolutionary biology Evolutionary game theory
153	Semi-Automatic Distributed Synthesis Bernd Finkbeiner and Sven Schewe Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {finkbeiner\|schewe}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:39:26 Ω-automaton Tree automaton Finite-state machine Alternating finite automaton Automata theory Theoretical computer science Computer science
154	Total Variation Meets Topological Persistence: A First Encounter Add to Reading List Source URL: ddg.math.uni-goettingen.de Language: English - Date: 2010-10-19 15:08:40 Ordinal number Mathematical logic Automata theory Ordinal arithmetic Mathematics Calculus Continuous function
155	PDF Document Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:08 Music Automata theory Models of computation Algorithm Mathematical logic Theoretical computer science Formal specification Specification G-code Computing Formal methods Software engineering
156	JMLR: Workshop and Conference Proceedings 34:33–48, 2014 Proceedings of the 12th ICGI A Canonical Semi-Deterministic Transducer Achilles Beros Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Complexity classes Models of computation Order theory Automata theory Integer sequences Antichain Finite-state machine FO Function Theoretical computer science Mathematics Applied mathematics
157	Synthesis of Reactive Systems Jens Regenberg <> IV Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:27:20 Formal methods Büchi automaton Ω-automaton Linear temporal logic SIGNAL Powerset construction Automata theory Theoretical computer science Computer science
158	1 Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-06-04 09:57:06 Software engineering Computing Abstraction Deterministic finite automaton Abstract interpretation Nondeterministic finite automaton Finite-state machine Automata theory Models of computation Computer science
159	A Solver for Modal Fixpoint Logics Oliver Friedmann Martin Lange Dept. of Computer Science University of Munich Munich, Germany Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics Non-classical logic Logic in computer science Modal logic Philosophical logic Temporal logic Model checking Parity game Ω-automaton Logic Mathematical logic Automata theory
160	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics

UPDATE